Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
491	Procedural Programming Outline of talk: •  Deductive Kb with Multiple Paradigms •  Production rules •  Methods •  Lisp-to-Loom Interface Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 17:20:29 Functional languages Lisp programming language LOOM Ontology Lisp D Programming paradigms Object-oriented programming Common Lisp Software engineering Computing Computer programming
492	To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus Add to Reading List Source URL: lmb.informatik.uni-freiburg.de Language: English - Date: 2012-06-18 23:42:11 Reasoning Model theory Programming paradigms Deduction Non-classical logic Reasoning system First-order logic Inference Interpretation Logic Science Mathematical logic
493	From Programs to Formulas CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-01 13:46:53 Programming paradigms Procedural programming languages Domain-specific language Linear algebra ALGOL 68 Array programming Transpose Programming language Software engineering Computing Programming language theory
494	Attribute Exploration on the Web Robert J¨aschke1 and Sebastian Rudolph2 1 2 Add to Reading List Source URL: www.kbs.uni-hannover.de Language: English - Date: 2015-04-09 16:46:04 Web services Computer languages Programming paradigms Lattice theory Data management SPARQL Semantic Web Formal concept analysis Query language Computing Information science World Wide Web
495	General Purpose GPU Computing @ Programming Languages & Systems Manuel M. T. Chakravarty University of New South Wales, Sydney Manuel Chakravarty Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-04-17 12:07:15 Graphics hardware Video cards Functional languages GPGPU Programming paradigms Haskell CUDA Functional programming Parallel computing Computing Software engineering Computer programming
496	Distributed Policy Management and Comprehension with Classified Advertisements Nicholas Coleman, Rajesh Raman, Miron Livny and Marvin Solomon University of Wisconsin, 1210 West Dayton Street, Madison, WI 53703 {ncoleman, Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-24 18:42:57 Programming paradigms SQL keywords Query languages Functions and mappings Relational model Predicate Function Null Relational algebra Logic Mathematics Mathematical logic
497	CS 635 Advanced Object-Oriented Programming Spring Semester, 2014 Syllabus © 2014, All Rights Reserved, SDSU & Roger Whitney San Diego State University -- This page last updated[removed] Add to Reading List Source URL: www.eli.sdsu.edu Language: English - Date: 2014-01-22 14:42:01 Object-oriented programming Academic transfer Programming paradigms Smalltalk This Assignment Transcript San Diego State University Object Software engineering Computer programming Computing
498	Logtalk 3 User Manual Copyright © Paulo Moura [removed] http://logtalk.org/ February 20, 2015 Add to Reading List Source URL: logtalk.org Language: English - Date: 2015-02-25 07:49:32 Programming paradigms Object-oriented programming Markup languages Logtalk Prolog Coinduction Protocol XEP XSL Formatting Objects Computing Software engineering Computer programming
499	Proceedings Template - WORD Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2006-10-09 07:03:56 Systems engineering ISO standards Scientific modeling Programming paradigms Domain-specific modeling Metamodeling XML Metadata Interchange Model-driven engineering Model-driven architecture Software engineering Unified Modeling Language Software development
500	Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-13 18:01:10 Logic in computer science Programming paradigms Cross-platform software Object-oriented programming Procedural programming languages Postcondition Design by contract Precondition Class invariant Software engineering Computing Computer programming

UPDATE